$\vdash$  $\forall$$T$:Type. \{$T$\} $\in$ Type